Functional reactive programming as a hybrid system framework
نویسندگان
چکیده
In previous work we presented Functional Reactive Programming (FRP), a general framework for designing hybrid systems and developing domain-specific languages for related domains. FRP’s synchronous dataflow features, like event driven switching, supported by higherorder lazy functional abstractions of Haskell allows rapid development of modular and reusable specifications. In this paper, we will look at more closely to the relation of Arrowized FRP (AFRP), the latest FRP implementation, and formal specification of hybrid systems. We will show how a formally specified hybrid system can he expressed in FRP and present a constructive proof showing that, for a subset of AFRP programs, there is a corresponding formal hybrid system specification.
منابع مشابه
A New Framework for Advancement of Power Management Strategies in Hybrid Electric Vehicles
Power management strategies play a key role in the design process of hybrid electric vehicles. Electric Assist Control Strategy (EACS) is one of the popular power management strategies for hybrid electric vehicles (HEVs). The present investigation proposes a new framework to advance the EACS. Dynamic Programming method is applied to an HEV model in several drive cycles, and as a result, some op...
متن کاملProgramming Modular Synthesizers in Haskell
In this demonstration, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it provides sound-generating and sound-shaping components that can be interconnected in arbitrary ways. Yampa, a Haskell-embedded implementation of Functional Reactive Programming, sup...
متن کاملArrows, Robots, and Functional Reactive Programming
Functional reactive programming, or FRP, is a paradigm for programming hybrid systems – i.e., systems containing a combination of both continuous and discrete components – in a high-level, declarative way. The key ideas in FRP are its notions of continuous, time-varying values, and time-ordered sequences of discrete events. Yampa is an instantiation of FRP as a domain-specific language embedded...
متن کاملA New Framework for Reactive Power Market Considering Power System Security
This paper presents a new framework for the day-ahead reactive power market based on the uniform auction price. Voltage stability and security have been considered in the proposed framework. Total Payment Function (TPF) is suggested as the objective function of the Optimal Power Flow (OPF) used to clear the reactive power market. Overload, voltage drop and voltage stability margin (VSM) are inc...
متن کاملSwitched-On Yampa Declarative Programming of Modular Synthesizers
In this paper, we present an implementation of a modular synthesizer in Haskell using Yampa. A synthesizer, be it a hardware instrument or a pure software implementation, as here, is said to be modular if it provides sound-generating and sound-shaping components that can be interconnected in arbitrary ways. Yampa, a Haskell-embedded implementation of Functional Reactive Programming, supports fl...
متن کامل